perm filename ONTO.NOT[226,JMC] blob sn#031473 filedate 1973-03-22 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	ONTOLOGY FOR ROBOTS
C00003 ENDMK
CāŠ—;
ONTOLOGY FOR ROBOTS


	Consider a reasoning program controlling a robot that uses first
order multi-sorted logic.  The ontology of the system is given by specifying the
collection of domains in which the variables take their values.
Ontology in philosophy is concerned with what kinds of entities exist,
and some of the same problems arise in AI.  Here are some of the domains
that should be considered:

	1. material objects

	2. actors

	3. integers

	4. symbolic expressions